Total Books: 1 - 3 /3
Advanced Functional Programming
This volume contains the revised lecture notes corresponding to nine of thelecture courses presented at the 5th International ...
Weiterlesen
Verification, Model Checking, and Abstract Interpretation
This volume contains the revised version of papers presented at VMCAI 2002,the Third International Workshop on Verification, ...
Weiterlesen
Verification, Model Checking, and Abstract Interpretation (vol. # 3385)
The 27 revised full papers presented here, together with one invited paper were carefully reviewed and selected from 58 submissions. ...
Weiterlesen
Total Books: 1 - 3 /3
